Interprétation ou interprétariat ?
نویسندگان
چکیده
منابع مشابه
Interprétation abstraite
Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.
متن کاملAnalyse statique par interprétation abstraite
Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a ...
متن کاملInterprétation spectrale de la classification relationnelle
Résumé. Ce papier présente une vue spectrale sur l’approche de l’analyse relationnelle pour la classification des données catégorielles. Il établit d’abord le lien théorique entre l’approche de l’analyse relationnelle et le problème de classification spectrale. En particulier, le problème de classification relationnelle est présenté comme un problème de maximisation de trace, ce problème est do...
متن کاملInterprétation graphique de la courbe ROC
Résumé. L’aire sous la courbe ROC est un outil pertinent pour mesurer la performance d’un classifieur et possède de nombreux avantages par rapport aux mesures de rappel et précision par classe : la performance est indiquée par une seule mesure et ne dépend pas des populations des classes. Cet avantage se transforme néanmoins en inconvénient lorsqu’il s’agit, lors de la lecture de la courbe, de ...
متن کاملDiscipline ou spécialité: Microélectronique
Full integration of energy conversion devices for compact power supply circuits is still encountering strong technological locks, especially to integrate passive inductive and capacitive components. The increasing working frequency of those devices, which already reaches 1 Megahertz, would enable the size reduction of passive components and then their integration. Nevertheless, losses, which hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Meta: Journal des traducteurs
سال: 1985
ISSN: 0026-0452,1492-1421
DOI: 10.7202/004086ar